A Formal Mathematical Model of Cognitive Radio

Cognitive Radio (CR) has caught a lot of attention lately due to its unprecedented capabilities, and its potential to enhance the user's radio experience. CR, as introduced by Mitola, adds a new dimension in the radio domain; that’s the incorporation of the capabilities of knowledge representation and processing. Combined with reasoning functionalities the radio is capable of providing a vast range of applications and services; like efficient radio resource management and enhanced environment-aware services. However, in order to characterize the internal functions of a CR and the ultimate possibilities of its applications and services; a formalization of the cognition concept is needed. This formalization enables scientists to carry out rigorous scientific analysis for various CR-related problems. Inspired from cognitive sciences, cognitive neurosciences, and artificial intelligence realms, this paper aims at developing a formal model for CR. For the first time, to our knowledge, formalization for CR has been proposed, thus laying down a preliminary effort towards developing a formal rigorous treatment for all future CR aspects. The resulting formal model is shown to accommodate the CR definitions and concepts developed by the pioneers in this field. Artificial Intelligence; Cognition Cycle; Cognitive Radio; Cognitive Sciences; Formal Model; Turing Machine.